Petri nets

Results: 184



#Item
11ν-Petri Nets Complexity The Complexity of Coverability in ν-Petri Nets

ν-Petri Nets Complexity The Complexity of Coverability in ν-Petri Nets

Add to Reading List

Source URL: highlights-conference.org

- Date: 2016-08-31 14:21:12
    12A MODULE-BASED APPROACH TO BIOMODEL ENGINEERING WITH PETRI NETS

    A MODULE-BASED APPROACH TO BIOMODEL ENGINEERING WITH PETRI NETS

    Add to Reading List

    Source URL: informs-sim.org

    - Date: 2013-05-21 09:12:13
      13Back in Time Petri Nets Thomas Chatain1 and Claude Jard2 1 LSV, ENS Cachan, INRIA, CNRS, France 2

      Back in Time Petri Nets Thomas Chatain1 and Claude Jard2 1 LSV, ENS Cachan, INRIA, CNRS, France 2

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2013-09-03 09:20:51
        14A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA & LSV (CNRS & ENS Cachan) 61, avenue du Président WilsonCACHAN Cedex, France {chatain, haar}@lsv.ens-cachan.fr

        A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA & LSV (CNRS & ENS Cachan) 61, avenue du Président WilsonCACHAN Cedex, France {chatain, haar}@lsv.ens-cachan.fr

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2013-09-03 10:01:58
          15Noname manuscript No. (will be inserted by the editor) Shrinking of Time Petri nets Didier Lime* · Claude Martinez** · Olivier H. Roux*

          Noname manuscript No. (will be inserted by the editor) Shrinking of Time Petri nets Didier Lime* · Claude Martinez** · Olivier H. Roux*

          Add to Reading List

          Source URL: www.irccyn.ec-nantes.fr

          - Date: 2016-09-02 05:16:35
            16Complexity Analysis of Continuous Petri Nets Est´ıbaliz Fraca, Serge Haddad March 2013

            Complexity Analysis of Continuous Petri Nets Est´ıbaliz Fraca, Serge Haddad March 2013

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2013-03-24 05:00:26
              17Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg

              Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg

              Add to Reading List

              Source URL: pubs.doc.ic.ac.uk

              - Date: 2007-06-23 11:07:35
                18ISSNPetri Nets 2000 21st International Conference on Application and Theory of Petri Nets Aarhus, Denmark, June 26-30, 2000

                ISSNPetri Nets 2000 21st International Conference on Application and Theory of Petri Nets Aarhus, Denmark, June 26-30, 2000

                Add to Reading List

                Source URL: www.daimi.au.dk

                - Date: 2000-06-08 11:38:51
                  19Petri Net Newsletter, ISSNGesellschaft für Informatik (GI), Germany, Volume 83, AprilPetri Nets Research at BTU in Cottbus, Germany

                  Petri Net Newsletter, ISSNGesellschaft für Informatik (GI), Germany, Volume 83, AprilPetri Nets Research at BTU in Cottbus, Germany

                  Add to Reading List

                  Source URL: www-dssz.informatik.tu-cottbus.de

                  - Date: 2014-07-07 07:44:22
                    20Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                    Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2012-03-07 10:57:44